home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / modprolg / mod-prol.lha / Prolog / Examples / lib_set.mod < prev    next >
Text File  |  1992-05-21  |  445b  |  20 lines
  1. signature lib_set_sig =
  2.   sig
  3.     pred empty/1 and insert/3 and memberof/2 and eqset/2.
  4.   end.
  5.  
  6. structure lib_set/lib_set_sig =
  7.   struct
  8.     fun set/1.
  9.     empty(set([])).
  10.     insert(Item,set(Set),set(New)) :-
  11.         member(Item,Set) -> New = Set ;
  12.                             New = [Item|Set].
  13.     memberof(Item,set(Set)) :-
  14.         member(Item,Set).
  15.     eqset(set(X),set(Y)) :-
  16.         sort(X,X1),
  17.         sort(Y,Y1),
  18.         X1 = Y1.
  19.   end.
  20.